$\forall$$l$:(top List), ${\it ll}$:(top List List). sqequal(concat(cons($l$; ${\it ll}$)); append($l$; concat(${\it ll}$)))